Logarithms of formal groups over Hopf algebras
نویسنده
چکیده
This paper is the continuation of section 2 of the paper ”Floating bundles and their applications” [1]. Let (H, μ, η,∆, ε, S) be a commutative Hopf algebra over ring R without torsion and F(x ⊗ 1, 1⊗ x) be a formal group over Hopf algebra H. By HQ denote the Hopf algebra H⊗ Z Q over ring RQ = R⊗ Z Q. We shall write μ, η, . . . instead of μQ, ηQ, . . . . The aim of this paper is to prove the following result.
منابع مشابه
Adjunctions between Hom and Tensor as endofunctors of (bi-) module category of comodule algebras over a quasi-Hopf algebra.
For a Hopf algebra H over a commutative ring k and a left H-module V, the tensor endofunctors V k - and - kV are left adjoint to some kinds of Hom-endofunctors of _HM. The units and counits of these adjunctions are formally trivial as in the classical case.The category of (bi-) modules over a quasi-Hopf algebra is monoidal and some generalized versions of Hom-tensor relations have been st...
متن کاملFormal groups over Hopf algebras
The aim of this section is to define some generalization of the notion of formal group. More precisely, we consider the analog of formal groups with coefficients belonging to a Hopf algebra. We also study some example of a formal group over a Hopf algebra, which generalizes the formal group of geometric cobordisms. Recently some important connections between the Landweber-Novikov algebra and th...
متن کاملFormal Groups over Discrete Rings
In this note we develop a theory of formal schemes and groups over arbitrary commutative rings which coincides with that of [5] if the base ring is a field, and generalizes that of [2]. We assume always our base ring is discrete and treat a formal scheme (resp. group) G, with two principal tools: A topology on the affine algebra (9(G) allows us to form its continuous linear dual B(G), the coalg...
متن کاملGroups of tree-expanded series
In [5, 6] we introduced three Hopf algebras on planar binary trees related to the renormalization of quantum electrodynamics. One of them, the algebra H, is commutative, and is therefore the ring of coordinate functions of a proalgebraic group G. The other two algebras, H and H , are free non-commutative. Therefore their abelian quotients are the coordinate rings of two proalgebraic groups G an...
متن کامل